def f() -> int: ...
#          <ref>
